#!/bin/bash

echo prefix=/usr
echo Kernel=2.6.16.46-0.12-ppc64
echo
echo "Configure options: --with-ipoib-mod --with-iser-mod --with-mthca-mod --with-sdp-mod --with-core-mod --with-user_mad-mod --with-user_access-mod --with-addr_trans-mod --with-rds-mod --with-madeye-mod"
echo
